variável lógica - tradução para
Diclib.com
Dicionário ChatGPT
Digite uma palavra ou frase em qualquer idioma 👆
Idioma:

Tradução e análise de palavras por inteligência artificial ChatGPT

Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:

  • como a palavra é usada
  • frequência de uso
  • é usado com mais frequência na fala oral ou escrita
  • opções de tradução de palavras
  • exemplos de uso (várias frases com tradução)
  • etimologia

variável lógica - tradução para

Formula atomica; Variável proposicional; Átomo (lógica); Proposição atômica; Fórmula atomica

renda variável         
{Bras.} переменный доход
renda variável         
(Браз.) переменный доход
cálculo proposicional         
SISTEMA FORMAL QUE PERMITE DEMONSTRAÇÕES ATRAVÉS DA EQUIVALÊNCIA LÓGICA DAS PROPOSIÇÕES CATEGÓRICAS
Cálculo proposicional; Cálculo Proposicional; Lógica de ordem zero; Lógica sentencial; Lógica Proposicional
- (матем.) пропозициональное исчисление, исчисление высказываний

Definição

Variável
adj.
Que se póde variar.
Mudável; inconstante.
Gram.
Que soffre modificações na desinência, (falando-se de certas palavras).
(Lat. "variabilis")

Wikipédia

Fórmula atômica

Em Lógica matemática, uma Fórmula Atômica (ou simplesmente átomo) é uma fórmula sem uma estrutura proposicional mais profunda, isto é, uma fórmula que não contém Conectivos lógicos, ou equivalentemente uma fórmula que não contém subfórmulas. Portanto, átomos são as mais simples fórmulas bem formadas da lógica. Fórmulas compostas são formadas combinando as fórmulas atômicas utilizando conectivos lógicos.

A forma precisa das fórmulas atômicas depende da lógica em consideração; para a Lógica proposicional, por exemplo, as fórmulas atômicas são variáveis proposicionais. Para a Lógica de predicados, os átomos são símbolos de predicados com seus argumentos, sendo cada argumento um termo. Em Teoria dos modelos, termos são simplesmente strings de símbolos com uma dada assinatura, que podem ou não ser satisfatível a respeito do modelo em questão.